Free constructions and universal properties